Descriptive complexity

Results: 93



#Item
11

A Structured-Specification Approach to Descriptive Complexity Claudia Elena Chiriţă – Faculty of Mathematics and Computer Science, University of Bucharest, Romania 1. Outline Theorem (Fagin). An isomorphism-closed cl

Add to Reading List

Source URL: womencourage.acm.org

Language: English - Date: 2016-02-05 15:45:18
    12Finite model theory / Descriptive complexity / Computational complexity theory / FO / Constraint programming / Constraint satisfaction problem / Conjunctive query / SO / HO / Theoretical computer science / Applied mathematics / Complexity classes

    On the Relationship between Consistent Query Answering and Constraint Satisfaction Problems Carsten Lutz1 and Frank Wolter2 1 2

    Add to Reading List

    Source URL: www.informatik.uni-bremen.de

    Language: English - Date: 2015-06-14 08:17:32
    13Descriptive complexity / Query / Literary agent

    Queries Now, copyright 2007 by Mary E. DeMuth. Do not copy, distribute or disseminate without author’s permission. Queries Now: You can write one today! By Mary E. DeMuth PO Box 1503

    Add to Reading List

    Source URL: 2f1x5k43c8ijde721cf37k9f.wpengine.netdna-cdn.com

    Language: English - Date: 2014-07-25 11:52:39
    14Relational database management systems / Information / Data management / SQL / Database theory / Database management systems / Descriptive complexity / Query / Information science

    Reports – Saving Queries Saving Queries In this section we look at a few more advanced query techniques. We begin by going to the Reports menu and selecting the Transaction Query. A few functions that need to be expla

    Add to Reading List

    Source URL: www.easybillingsoftware.com

    Language: English - Date: 2013-02-08 19:38:18
    15Genomics / Biology / Randomness / Computability theory / Descriptive complexity / Kolmogorov complexity / Complexity / Human genome / Genome / Theoretical computer science / Genetics / Genetic mapping

    arXiv:physics/0508010v2 [physics.gen-ph] 26 SepKolmogorov Complexity, String Information, Panspermia and the Fermi Paradox V.G.Gurzadyan Dipartimento di Fisica, Universit`

    Add to Reading List

    Source URL: arxiv.org

    Language: English - Date: 2008-02-02 00:59:26
    16Computing / Email / Descriptive complexity / Query

    Tier 2 Classification Query Request Form Contact details of query submitter: Name Enter name Jurisdiction

    Add to Reading List

    Source URL: ihpa.gov.au

    Language: English - Date: 2014-04-10 22:58:13
    17Model theory / Finite model theory / FO / First-order logic / Descriptive complexity theory / Almost surely / Second-order logic / Structure / Linear temporal logic / Logic / Mathematical logic / Mathematics

    Random Graphs and The Parity Quantifier Phokion G. Kolaitis UC Santa Cruz &

    Add to Reading List

    Source URL: logic.berkeley.edu

    Language: English - Date: 2014-08-27 14:47:38
    18Computational complexity theory / Descriptive complexity / SO / Complexity / FO / Theoretical computer science / Finite model theory / Applied mathematics

    Motivation The collision-free string partition problems Complexity proofs Summary The complexity of string partitioning

    Add to Reading List

    Source URL: www.cs.ucr.edu

    Language: English - Date: 2012-12-29 15:22:02
    19Mathematics / Computational complexity theory / Logic / Model theory / FO / Structure / P / SO / Descriptive complexity theory / Applied mathematics / Complexity classes / Finite model theory

    Preliminaries Decision Problems Optimisation Problems Descriptive Complexity of Optimisation Problems

    Add to Reading List

    Source URL: www.cs.bris.ac.uk

    Language: English - Date: 2014-03-11 07:07:10
    20Computability theory / Descriptive complexity / Kolmogorov complexity

    On Process Complexity Adam R. Day August 10, 2010 Abstract Process complexity is one of the basic variants of Kolmogorov complexity. Unlike plain

    Add to Reading List

    Source URL: cjtcs.cs.uchicago.edu

    Language: English - Date: 2011-06-03 17:30:32
    UPDATE